The method of approximate reasoning using a fuzzy logic introduced by Baldwin (1978 a,b,c), is used to model human reasoning in the resolution of two well known paradoxes. It is shown how classical propositional logic fails to resolve the paradoxes, how multiple valued logic partially succeeds and that a satisfactory resolution is obtained with fuzzy logic. The problem of precise representation of vague concepts is considered in the light of the results obtained.

We propose a formalization of Meinong's theory of objects with the help of Hilbert's $\epsilon$-symbol and a paraconsistent logical system, with an eye towards its application in an axiomatization of the natural sciences.

We first show that a theorem by Cartan that generalizes the Frobenius integrability theorem allows us (given certain conditions) to obtain noncurvature solutions for the differential Bianchi conditions and for higher-degree similar relations. We then prove that there is no algorithmic procedure to determine, for a reasonable restricted algebra of functions on spacetime, whether a given connection form satisfies the preceding conditions. A parallel result gives a version of Gödel's first incompleteness theorem within an (axiomatized) theory of gauge fields.

The Inforare project aims to set up a system for the sharing of clinical and familial data, in order to study how genes are related to the severity of sickle cell disease. While the computerisation of clinical records represents a valuable research goal, an ethical framework is necessary to guarantee patients' protection and their rights in this developing field. Issues relating to patient information during the Inforare study were analysed by the steering committee. Several major concerns were discussed by the (...) committee and formalised in the patients' information letter: educating patients to aid the recruitment of family members, rules of confidentiality and the disclosure of aggregate, individual and unexpected research results. This paper presents the main issues addressed. (shrink)

A cross-cultural survey experiment revealed a dominant tendency to rely on a rule’s letter over its spirit when deciding which behaviors violate the rule. This tendency varied markedly across (k = 15) countries, owing to variation in the impact of moral appraisals on judgments of rule violation. Compared with laypeople, legal experts were more inclined to disregard their moral evaluations of the acts altogether and consequently exhibited stronger textualist tendencies. Finally, we evaluated a plausible mechanism for the emergence of textualism: (...) in a two-player coordination game, incentives to coordinate in the absence of communication reinforced participants’ adherence to rules’ literal meaning. Together, these studies (total n = 5,794) help clarify the origins and allure of textualism, especially in the law. Within heterogeneous communities in which members diverge in their moral appraisals involving a rule’s purpose, the rule’s literal meaning provides a clear focal point—an identifiable point of agreement enabling coordinated interpretation among citizens, lawmakers, and judges. (shrink)

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

A formal system of “questions” and “propositions” conceived by C. Piron and claimed to yield by interpretation quantum mechanics as well as all other known physical theories is examined. It is proved that the mentioned system is syntactically self-consistent in the sense of the theory of models. However, it is found that the mentioned formal system possesses certain syntactic characteristics in consequence of which qualification of this system as a generator of quantum mechanics by interpretation encounters semantic obstacles so grave (...) that they annihilate any relevance of such a qualification. (shrink)

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Despite pervasive variation in the content of laws, legal theorists and anthropologists have argued that laws share certain abstract features and even speculated that law may be a human universal. In the present report, we evaluate this thesis through an experiment administered in 11 different countries. Are there cross‐cultural principles of law? In a between‐subjects design, participants (N = 3,054) were asked whether there could be laws that violate certain procedural principles (e.g., laws applied retrospectively or unintelligible laws), and also (...) whether there are any such laws. Confirming our preregistered prediction, people reported that such laws cannot exist, but also (paradoxically) that there are such laws. These results document cross‐culturally and –linguistically robust beliefs about the concept of law which defy people's grasp of how legal systems function in practice. (shrink)

Oxidative damage to DNA has been associated with neurodegenerative diseases. Developmental exposure to lead has been shown to elevate the Alzheimer's disease related beta-amyloid peptide , which is known to generate reactive oxygen species in the aging brain. This study measures the lifetime cerebral 8-hydroxy-2'-deoxyguanosine levels and the activity of the DNA repair enzyme 8-oxoguanine DNA glycosylase in rats developmentally exposed to Pb. Oxo8dG was transiently modulated early in life , but was later elevated 20 months after exposure to Pb (...) had ceased, while Ogg1 activity was not altered. Furthermore, an age-dependent loss in the inverse correlation between Ogg1 activity and oxo8dG accumulation was observed. The effect of Pb on oxo8dG levels did not occur if animals were exposed to Pb in old age. These increases in DNA damage occurred in the absence of any Pb-induced changes in copper/zinc-superoxide dismutase , manganese-SOD , and reduced-form glutathion . These data suggest that oxidative damage and neurodegeneration in the aging brain could be impacted by the developmental disturbances. (shrink)

Collaborative research practices in the field of plant genetic resources must follow the principles of fairness and equity as defined in the Convention on Biological Diversity (CBD) and in the International Treaty on Plant Genetic Resources for Food and Agriculture (ITPGRFA). In this context the concepts of fairness and equity generally refer to the substantive and procedural dimensions associated with sharing the benefits of this research. But neither term is clearly defined by these international treaties, and the meanings attributed to (...) the concepts vary among different societies. This paper looks at the question of how to account for the diversity among value systems when conducting research that implicates diverse stakeholders and respects the requirements of fairness and equity. We incorporated an auto-ethnography method developed as part of a multi-stakeholder network involved in research projects on plant genetic resources in West Africa. A theatrical device was used as a framework for testing the principles of fairness and equity, helping us to collectively identify feelings of injustice, and explore the conditions for making collaborative research practices more ethical in ways that respect the perspectives of different stakeholders. In an environment of extensive political and socio-cognitive inequality, this approach makes it possible to explain the criteria relating to interactional justice and expectations in terms of socio-political and socio-emotional benefits. It also invites us to consider the principles of fairness and equity in a framework of ethical competence that goes beyond international directives. (shrink)